#ifndef __TIMER_H
#define __TIMER_H


#include "stm32f10x.h"                  // Device header









void timer_init(void);









#endif

